Reasoning About Strategies
نویسندگان
چکیده
منابع مشابه
Reasoning about Strategies
Samson Abramsky has placed landmarks in the world of logic and games that I have long admired. In this little piece, I discuss one theme in the overlap of our interests, namely, logical systems for reasoning with strategies in gentle exploratory mode. 1 1 Reasoning about strategies, a priori analysis or rather logical fieldwork? The notion of a strategy as a plan for interactive behavior is of ...
متن کاملReasoning About Strategies
In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between open entities and express that the system is correct no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multi-agent games, such as ATL, ATL*, and the like. Recently, Ch...
متن کاملLearning Strategies by Reasoning about Rules
One of the major 'weaknesses of current automated reasoning systems is that they lack the ability to con trol inference in a sophisticated, context-directed fashion. General strategies such as the set-of-support strategy are useful, but have proven inadequate for many individual problems. A strategy component is needed that possesses knowledge about many particu lar domains and problems. Such...
متن کاملReasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent programs executed concurrently. We choose alternating-time temporal logic (ATL) for expressing properties of such programs. However, the original ATL is based on a synchronous model of multi-agent computation while mo...
متن کاملRepresenting and Reasoning about Game Strategies
As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language (GDL) and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2014
ISSN: 1529-3785,1557-945X
DOI: 10.1145/2631917